UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 280

Sortiert nach

Multi-objective programming and goal programming : theories and applications

Lecture notes in economics and mathematical systems : 432 (Alle Bände)

Tamiz, Mehrdad[Herausgeber]

1996

Signatur: TVM3700

Semiotik der Automaten, Algorithmen und formalen Sprachen : e. wissenschaftstheoretische Untersuchung über d. Grundlagen d. theoretischen Informatik

Bogarin, Jorge

1989

Signatur: D1567

Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion

Europäische Hochschulschriften : Reihe 41 : 6 (Alle Bände)

Li, Wanlin

1991

Signatur: M5753

Computation as logic

Prentice-Hall international series in computer science

Lalement, René

1. [Dr.], 1993

Signatur: TVM3310

Introduction to the theory of complexity

Prentice Hall international series in computer science

1994

Signatur: TVM3116

State-space search : algorithms, complexity, extensions, and applications

Zhang, Weixiong

1999

Signatur: TVM4439

Circuit complexity and neural networks

Foundations of computing

Parberry, Ian

1994

Signatur: TVM3611

Potentiale der Informationstechnik : state-of-the-art und Trends aus Anwendungssicht

Informatik und Unternehmensführung

Steinbock, Hans-Joachim

1994

Signatur: TZT2959

Algorithms illuminated

Roughgarden, Tim

Omnibus edition, 2022

Signatur: TVM4790

Parameterized complexity

Monographs in computer science

1999

Signatur: TVM4235

Action semantics

Cambridge tracts in theoretical computer science : 26 (Alle Bände)

Mosses, Peter D

1992

Signatur: TVM2827

Abschätzung der Fehlzugriffe bei dünn besetzten Matrixoperationen auf Architekturen mit einem direct mapped Cache

Scholtes, Carsten

2003

Signatur: D13906

Handbook of graph grammars and computing by graph transformation

Rozenberg, Grzegorz[Herausgeber]

1997-

Signatur: TVM4081-...

Multiprocessor execution of logic programs

Gupta, Gopal

1994

Signatur: TVM3459

Programming with Threads

A Prentice Hall title

1996

Signatur: TVM3687

Semantics with applications : a formal introduction

Wiley professional computing

1992

Signatur: TVM2754

The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution

Cambridge tracts in theoretical computer science : 32 (Alle Bände)

Carpenter, Bob

1992

Signatur: TVM3085

Parallel complexity theory

Research notes in theoretical computer science

Parberry, Ian

1987

Signatur: TVM2209

Finiteness conditions for rewriting systems

Cremanns, Robert

1995

Signatur: D10479

Algorithms from P to NP. 1. Design & efficiency

Algorithms from P to NP (Alle Bände)

1991

Signatur: TVM2916-1

Algorithmen und Komplexität : mit 39 Beispielen und 104 Aufgaben

Informatik interaktiv

Wagenknecht, Christian

2003

Signatur: TVM4374

Channel coding theory : course held at the Department for Automation and Information, July 1970

Courses and lectures / International Centre for Mechanical Sciences : 29 (Alle Bände)

Csiszár, Imre

1970 [erschienen] 1972

Signatur: TVM1106

Graphgrammatiken in der Softwaretechnik : Theorie u. Anwendungen

Informatik-Fachberichte : 178 (Alle Bände)

Göttler, Herbert

1988

Signatur: TVM2217

Systematischer Entwurf und Implementierung einer suchvollständigen Logikprogrammiersprache mit einfacher Termstruktur

Korthauer, Edgar

1991

Signatur: D6325

Das Einführen neuer Prädikate in der Induktiven Logischen Programmierung

Stahl, Irene

1995

Signatur: D10353

1 – 25 von 280

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(280)

Schlagwort

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Systemstelle

TVM
(280)
TVI
(43)
TVU
(16)
TTQ
(5)
TVH
(5)
TWP
(5)
TWZ
(5)
TWT
(4)
TVB
(3)
YCB
(3)
QBB
(2)
TMV
(2)
TVE
(2)
TVP
(2)
TWQ
(2)
YCA
(2)
PZY
(1)
STS
(1)
TCL
(1)
TDB
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Multi-objective programming and goal programming : theories and applications

Semiotik der Automaten, Algorithmen und formalen Sprachen : e. wissenschaftstheoretische Untersuchung über d. Grundlagen d. theoretischen Informatik

Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion

Computation as logic

Introduction to the theory of complexity

State-space search : algorithms, complexity, extensions, and applications

Circuit complexity and neural networks

Potentiale der Informationstechnik : state-of-the-art und Trends aus Anwendungssicht

Algorithms illuminated

Parameterized complexity

Action semantics

Abschätzung der Fehlzugriffe bei dünn besetzten Matrixoperationen auf Architekturen mit einem direct mapped Cache

Handbook of graph grammars and computing by graph transformation

Multiprocessor execution of logic programs

Programming with Threads

Semantics with applications : a formal introduction

The logic of typed feature structures : with applications to unification grammars, logic programs and constraint resolution

Parallel complexity theory

Finiteness conditions for rewriting systems

Algorithms from P to NP. 1. Design & efficiency

Algorithmen und Komplexität : mit 39 Beispielen und 104 Aufgaben

Channel coding theory : course held at the Department for Automation and Information, July 1970

Graphgrammatiken in der Softwaretechnik : Theorie u. Anwendungen

Systematischer Entwurf und Implementierung einer suchvollständigen Logikprogrammiersprache mit einfacher Termstruktur

Das Einführen neuer Prädikate in der Induktiven Logischen Programmierung

Suchergebnisse filtern